div {@red: tomato;  color: @red; }
